223. System technical manual

Library: Central Library of Esfehan University of Technology (Esfahan)

Subject: Computer programs►Programming languages (Electronic computers)

Classification :
76
.
6
.
S98

224. Temporal logic of programs

Author:

Library: Library of College of Science University of Tehran (Tehran)

Subject: Electronic digital computers -- Programming,Logic, Symbolic and mathematical

Classification :
QA
76
.
6
.
K753
1987

225. Temporal logic of programs

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical

Classification :
QA
76
.
6
.
K753
1987

226. Temporal logic of programs

Author:

Library: Central Library and Documentation Center (Kerman)

Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical

Classification :
QA
76
.
6
.
K753
1987

238. The specification of computer programs

Author:

Library: Library of Niroo Research Institue (Tehran)

Subject: ، Computer software- Development,، Electronic digital computers- Programming

Classification :
QA
76
.
76
.
D47T87
1987